is batman who laughs joker